Feeds to Scour
SubscribedAll
Scoured 15865 posts in 1.54 s
Lessons from Formally Verified Deployed Software Systems (Extended version)
arxiv.org·15h
⚖️Verification Calculi
Preview
Report Post
Designing a Programming Language for the Desert
futhark-lang.org·4h·
Discuss: Hacker News
🔗Functional Compilers
Preview
Report Post
Architecting Cloud-Native Ambient Agents: Patterns for Scale and Control
next.redhat.com·6h
🏠Homelab Orchestration
Preview
Report Post
Hosting a Static Site in the Silliest Way Possible (Part 1)
geoff.tuxpup.com·1d
🕸️WebAssembly
Preview
Report Post
Modernizing Legacy C Systems: Safe Rust Integration Without Complete Rewrites
dev.to·6h·
Discuss: DEV
🦀Embedded Rust
Preview
Report Post
Disposable Environments, Durable Sessions: My Ideal Agentic Workflow
blog.joemag.dev·1d·
Discuss: Hacker News
💾Persistence Strategies
Preview
Report Post
Graph-based refactor analysis for Go projects , Arbor v1.4
reddit.com·11h·
Discuss: r/golang
🔗Topological Sorting
Preview
Report Post
Show HN: BackBuild – A framework for sequencing complex software delivery
arcaned.co·8h·
Discuss: Hacker News
🔄Reproducible Builds
Preview
Report Post
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.com·8h
📊Static Analysis
Preview
Report Post
Recap of ELISA Project at Linux Plumbers Conference: Tokyo, Japan 2025
elisa.tech·1h
🔍eBPF
Preview
Report Post
Stop Overusing Interfaces (2017)
blog.hovland.xyz·6h·
Discuss: Hacker News
🔌Interface Evolution
Preview
Report Post
RepoGenesis: Benchmarking End-to-End Microservice Generation from Readme to Repository
arxiv.org·15h
🔄Reproducible Builds
Preview
Report Post
Pavis: A Dumb Proxy for Boring Reloads
fabian4.site·5h·
Discuss: Hacker News
🦀Rust Borrowing
Preview
Report Post
A Fully Open-Source Future
extroverteddeveloper.com·6h·
Discuss: Hacker News
🔓Open Source Software
Preview
Report Post
Local models to support home network infrastructure?
news.ycombinator.com·1d·
Discuss: Hacker News
🤖Network Automation
Preview
Report Post
FastMCP 3.0: From Tool Servers to Context Applications
mcpstatus.io·21h·
Discuss: Hacker News
⚡SMT Integration
Preview
Report Post
Prisma 7: Rust-Free Architecture and Performance Gains
infoq.com·1d·
Discuss: Hacker News
🦀Rust Macros
Preview
Report Post
Building Modern Databases with the FDAP Stack • Andrew Lamb & Olimpiu Pop
youtube.com·1d
🦀Rusty Databases
Preview
Report Post
WebAssembly Clouds: The world after Containers · Blog
wasmer.io·1d·
Discuss: Hacker News
🌐WASI
Preview
Report Post
A new open-source benchkit to create your own reproducible database benchmarks
exasol.com·2d·
Discuss: Hacker News
🔄Sync Engine
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help